La « caribéanisation » des États-Unis : mutations sociétales et réagencements spatiaux

Utilisation des langages d'arbres pour la modélisation et la vérification des systèmes à états infinis

This document presents different tools to represent and manipulate infinitsets of tree tuples called tree tuple languages. We choose logic programming as formalismto describe tree tuple languages (i.e relations) and logic program transformation techniquesfor computing operations on them. In a first step we study a class of relation closed underusual sets operations, the class of...

La représentation formelle des concepts spatiaux dans la langue

Dans ce chapitre, nous faisons l'hypothèse que l'étude systématique de la sémantique des marqueurs spatiaux de la langue permet de mettre en évidence certaines propriétés et concepts fondamentaux caractérisant les représentations conceptuelles de l'espace. Nous proposons un système formel rendant compte des propriétés révélées par les analyses linguistiques, et nous utilisons ces outils pour re...

Usages des modèles spatiaux pour la prospective

This theoretical paper presents a state of the art on the use of spatial models dedicated to prospective studies. The first part summarizes the converging interests of foresight studies and geography. The second part gives helpful insights to answer the question of how choosing an appropriate model for exploring the future of territories/landscapes. The third part is dedicated to models validat...

Stabilisation des antigenes claveleux et preparation d'un vaccin mixte contre la clavelee et la fievre charbonneuse

Référentiels Spatiaux des Tâches d'Interaction et Caractéristiques de l'Utilisateur influençant la Performance en Réalité Virtuelle

In virtual reality, to adapt interfaces to users, two dimensions must be studied: the task and the user. The first dimension deals with interaction tasks in virtual reality, more precisely manipulation and locomotion. The study and the comparison of spatial properties of virtual and real environments allow us to propose tasks hierarchical models which show problematical interaction situations f...